形式的マイクロプロトコル組立てフレームワーク 東原大記 and Xavier Défago School of Information Science Japan Advanced Institute of Science and Technology (JAIST) Email: {d-higa, defago}@jaist.ac

Source URL: www.internetconference.org

Contextual Reasoning in Concept Spaces Stijn De Saeger and Atsushi Shimojima Japan Advanced Institute of Science and Technology (JAIST) fstijn,

Source URL: ceur-ws.org

Photo Dr. Nozomi Takeuchi National Institute of Advanced Industrial Science and Technology, Japan Nozomi Takeuchi received the B.E., M.E., and D.Eng. degrees from the Tokyo Institute of

Source URL: icmap-2018.org

Photo Dr. Nozomi Takeuchi National Institute of Advanced Industrial Science and Technology, Japan Nozomi Takeuchi received the B.E., M.E., and D.Eng. degrees from the Tokyo Institute of

Source URL: www.icmap-2018.org

A simple cloud sync protocol Norbert Preining Research Center for Software Verification Japan Advanced Institute of Science and Technology Workshop on CafeOBJ and Specification Verification

Source URL: www.preining.info

Virt-ICE: Next-generation Debugger for Malware Analysis Nguyen Anh Quynh, Kuniyasu Suzaki National Institute of Advanced Industrial Science and Technology, Japan Email: (nguyen.anhquynh,k.suzaki)@aist.go.jp Abstract

Source URL: media.blackhat.com

National Institute of Advanced Industrial Science and Technology (AIST) Geological Survey of Japan Certified Geochemical Reference Material ＧＳＪ　ＣＲＭ　JA-1a　Andesite　(Hakone volcano)

Source URL: gbank.gsj.jp

National Institute of Advanced Industrial Science and Technology (AIST) Geological Survey of Japan Certified Geochemical Reference Material ＧＳＪ　ＣＲＭ　JSO-1　Soil　(Black forest soil)

Source URL: gbank.gsj.jp

RALFIE: Reduce Potential Radiation Exposure by OGC-based Sensor Information Platforms Kyoung-Sook Kim, Isao Kojima, Hirotaka Ogawa National Institute of Advanced Industrial Science and Technology (AIST), JAPAN Introducti

Source URL: external.opengeospatial.org

• Geographic information systems
• Open Geospatial Consortium
• Computing
• Open standards
• Web services
• Medical physics
• SensorThings API
• Dosimetry
• Cloud computing
• Physics
• Data
• Sensor Observation Service

National Institute of Advanced Industrial Science and Technology (AIST) Geological Survey of Japan Certified Geochemical Reference Material GSJ CRM JCｔ-1 Giant Clam ( Tridacna gigas )

Source URL: gbank.gsj.jp

• Chemistry
• Analytical chemistry
• Scientific method
• Mass spectrometry
• Laboratory equipment
• Emission spectroscopy
• Tridacna
• Inductively coupled plasma mass spectrometry
• Inductively coupled plasma atomic emission spectroscopy
• National Institute of Advanced Industrial Science and Technology
• SPECTRO Analytical Instruments
• Atomic emission spectroscopy